* doc/misc/cl.texi (Blocks and Exits): Tweak earlier change.
authorGlenn Morris <rgm@gnu.org>
Mon, 3 Feb 2014 07:26:59 +0000 (23:26 -0800)
committerGlenn Morris <rgm@gnu.org>
Mon, 3 Feb 2014 07:26:59 +0000 (23:26 -0800)
commit3ae08e1215f23f457010c80e23e7b072a5ae9abb
tree463057fe2547d6caa606fe0c77d4f265c9a0f553
parent50e0de73b966005804f9349bf37d7c6478be3cc2
* doc/misc/cl.texi (Blocks and Exits): Tweak earlier change.
doc/misc/cl.texi